Interpolation and Preservation in ${\cal M\kern-1pt L}_{\omega_1}$

Interpolation, Preservation, and Pebble Games

Preservation and interpolation results are obtained for L1! and sublog-ics L L1! such that equivalence in L can be characterized by suitable back-and-forth conditions on sets of partial isomorphisms.

Preservation of interpolation by fibring

Preservation of Interpolation Features by Fibring

Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the two given logics are presented by deductive systems of the same type. Under such circumstances, fibring will produce a new deductive system by means of the free use of inference rules from both deductive systems, provid...

Presentation of K Nearest Neighbor Gaussian Interpolation and comparing it with Fuzzy Interpolation in Speech Recognition

Hidden Markov Model is a popular statisical method that is used in continious and discrete speech recognition. The probability density function of observation vectors in each state is estimated with discrete density or continious density modeling. The performance (in correct word recognition rate) of continious density is higher than discrete density HMM, but its computation complexity is very ...

A Strong Convergence Theorem for [-1pt] a Family of Quasi--Nonexpansive Mappings in [-1pt] a Banach Space

The purpose of this paper is to propose a modified hybrid projection algorithm and prove a strong convergence theorem for a family of quasi-φ-nonexpansive mappings. The strong convergence theorem is proven in the more general reflexive, strictly convex, and smooth Banach spaces with the property K . The results of this paper improve and extend the results of S. Matsushita and W. Takahashi 2005 ...